翻訳と辞書 |
Spectrum of a sentence : ウィキペディア英語版 | Spectrum of a sentence In mathematical logic, the spectrum of a sentence is the set of natural numbers occurring as the size of a finite model in which a given sentence is true. ==Definition== Let ψ be a sentence in first-order logic. The ''spectrum'' of ψ is the set of natural numbers ''n'' such that there is a finite model for ψ with ''n'' elements. If the vocabulary for ψ consists of relational symbols, then ψ can be regarded as a sentence in existential second-order logic (ESOL) quantified over the relations, over the empty vocabulary. A ''generalised spectrum'' is the set of models of a general ESOL sentence.
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Spectrum of a sentence」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|